Modular action language
نویسندگان
چکیده
منابع مشابه
Modular Action Language ALM
The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a high-level action language is used as a front end for a logic programming system description. The resulting logic programming representation is used to perform various computational tasks. The methodology based on exist...
متن کاملModular action language
The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a high-level action language is used as a front end for a logic programming system description. The resulting logic programming representation is used to perform various computational tasks. The methodology based on exist...
متن کاملYet Another Modular Action Language
The paper presents the syntax and semantics of an action language ALM. The language is used for representation of knowledge about dynamic systems. It extends action language AL by allowing definitions of new objects (actions and fluents) in terms of other, previously defined, objects. This, together with the modular structure of the new language leads to more elegant and concise representations...
متن کاملA Modular Action Description Language
“Toy worlds” involving actions, such as the blocks world and the Missionaries and Cannibals puzzle, are often used by researchers in the areas of commonsense reasoning and planning to illustrate and test their ideas. We would like to create a database of general-purpose knowledge about actions that encodes common features of many action domains of this kind, in the same way as abstract algebra ...
متن کاملTowards a Modular Action Description Language
This is a preliminary report on the design of a modular language for describing actions. In the new language, an action description consists of several modules; each module describes a set of interrelated fluents and actions. “Import statements” allow the user to provide references to other modules and thus characterize new fluents and actions by relating them to others, introduced earlier. Thi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2015
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068415000095